Francis Dupuis-Déri confronts the domestication of radical ideas in his superb and stimulating essay, “Global Protestors Versus Global Elites: Are Direct Action and Deliberative Politics Compatible?”, and leads to the intriguing claim that the legitimacy of radical anti-capitalist protest rests ultimately on its internally deliberative quality. This account, however compelling as it stands in many ways, seems to give undue predominance to legitimacy claims. The problem of democracy and global capitalism today is that the global justice movement’s designated constituency (...) does not exist as an actor, for the simple reason that the majority of its putative members have yet to accept the problem forwarded by the global justice movement. People must be convinced to join movements against corporate control, democratic weakening, and income inequality ; fortifying legitimacy among the already committed does not seem to be helping. (shrink)

Francis Bacon was the youngest son of Nicholas Bacon, lord keeper of the great seal under Elizabeth I. He left Cambridge in 1575, studied law, and entered Parliament in 1581. Though roughly contemporary with Kepler, Galileo, and Harvey, Bacon’s grand schemes for the advancement of knowledge were not driven by their discoveries: he resisted the Copernican hypothesis, and did not give mathematics a central place in his vision of natural philosophy. His active public life, under both Elizabeth and (...) class='Hi'>James I, was taken up with political business and legal reform. Bacon achieved high office as Lord Chancellor in 1618, until disgraced by corruption charges. His final years saw a furious spate of writing on natural philosophy, politics, and history. (shrink)

The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. This (...) undecidability result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

Alonzo Church famously provided three principal competing criteria for “strict synonymy,” i.e., sameness of semantic content. These are his Alternatives (0), (1), and (2)—numbered in order of increasing course-grainedness of content. On Alternative (2), expressions are deemed strictly synonymous iff they are logically equivalent. This criterion seems hopeless as an account of the objects of propositional attitude. On Alternative (1), expressions are deemed synonymous iff they are λ-convertible. Alternative (1) also evidently conflicts with discourse about the attitudes. On Alternative (0), (...) expressions are deemed strictly synonymous iff they are “synonymously isomorphic” in Church’s sense. On Alternative (0), semantic content is so fine-grained that not even “Romeo loves Juliet” and “Juliet is loved by Romeo” qualify as strictly synonymous. A fourth alternative, here called “Alternative (3),” deems expressions strictly synonymous iff they are co-intensional, i.e., they have the same semantic extension with respect to the same possible worlds. This criterion’s notion of content is even more course grained than that of Alternative (2). Several objections to Alternative (3) are considered. (This article is contained within the author’s more definitive essay, “Singular Concepts”.). (shrink)

A new philosophical analysis is provided of the notorious Sleeping Beauty Problem. It is argued that the correct solution is one-third, but not in the way previous philosophers have typically meant this. A modified version of the Problem demonstrates that neither self-locating information nor amnesia is relevant to the core Problem, which is simply to evaluate the conditional chance of heads given an undated Monday-or-Tuesday awakening. Previous commentators have failed to appreciate the significance of the information that Beauty gains upon (...) waking, and which is relevant to the conditional chance of heads: de re acquaintance with the awakening itself and the non-locating knowledge that it is an experimental awakening. David Lewis and company are committed to several unjustifiable and unacceptable probability assessments. Previous commentators have in effect confused the information that Beauty undergoes this particular experimental awakening for the information that she undergoes some experimental awakening or other. Lewis in particular thereby illegitimately tips the scales both in favor of heads and in favor of Monday. The Sleeping Beauty Problem is equivalent to a ball-in-urn word problem in elementary probability theory. (shrink)

This is a non-technical version of "The Decision Problem for Effective Procedures." The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined, even if it does not have a purely mathematical definition—and even if (as many have asserted) for that reason, the Church–Turing thesis (that the effectively calculable functions on natural numbers are exactly the general recursive functions), cannot be proved. However, it is logically provable from the notion of an (...) effective procedure--without reliance on any (partially) mathematical thesis or conjecture concerning effective procedures, such as the Church–Turing thesis--that the class of effective procedures is undecidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. The proof does not appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of such a procedure. Though this undecidability result itself is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure is, in fact, a decision procedure, i.e., effective—for example, that it invariably terminates with the correct verdict. (shrink)

Toward a theory of n-tuples of individuals and concepts as surrogates for Russellian singular propositions and singular concepts. Alonzo Church proposed a powerful and elegant theory of sequences of functions and their arguments as singular-concept surrogates. Church’s account accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill paradox is here rebutted. As Church recognized, Russell-Myhill is not a problem specifically (...) for Alternative (0). Rather it is a disproof of unrestricted concept comprehension. Unrestricted comprehension is also inconsistent with facts about sets of properties. It is demonstrated furthermore that the principal rival conception of propositions--propositions conceived as classes of possible worlds--is subject to a fatal philosophical collapse: It follows on that conception, given that each of us is fallible, that everyone believes everything. Although it is far superior to its principal rival conception, Church’s proposed theory is vulnerable under (0) to a version of Russell’s notorious Gray’s /Elegy/ objection. Some amendments to Church’s proposal are proffered that address Russell’s objection, including an amendment first proposed in the present author’s /Frege’s Puzzle/ (1986). Church’s response (personal correspondence) is considered. (shrink)

Hubert Dreyfus has argued that cases of absorbed bodily coping show that there is no room for self-awareness in flow experiences of experts. In this paper, I argue against Dreyfus’ maxim of vanishing self-awareness by suggesting that awareness of agency is present in expert bodily action. First, I discuss the phenomenon of absorbed bodily coping by discussing flow experiences involved in expert bodily action: merging into the flow; immersion in the flow; emergence out of flow. I argue against the claim (...) that flow experience does not involve an awareness of agency for each of these features, while conceding that fluent agency does not involve self-awareness in the thetic sense. I challenge the assumption that the awareness of fluent agency must be understood in terms of a thetic awareness of agency. Instead, I develop an Anscombean account of the awareness of fluent agency in terms of the phenomenal character of knowing one’s aims. I respond to the challenge that if an Anscombean account of the awareness of agency is to succeed, then agents must be able to answer Anscombean questions. I consider the objection that awareness of agency is not a form of self-awareness by outlining an account of self-awareness as self-synthesis that is distinct from self-perception and self-ascription, but which makes room for self-awareness in expert bodily action. (shrink)

University of California, Santa Barbara.

Scepticism about ought simpliciter is the view that there is no such thing as what one ought simpliciter to do. Instead, practical deliberation is governed by a plurality of normative standpoints, each authoritative from their own perspective but none authoritative simpliciter. This paper aims to resist such scepticism. After setting out the challenge in general terms, I argue that scepticism can be resisted by rejecting a key assumption in the sceptic’s argument. This is the assumption that standpoint-relative ought judgments bring (...) with them a commitment to act in accordance with those judgments. Instead, I propose an alternative account of our normative concepts according to which only ought simpliciter judgments commit one to acting in accordance with those judgments. In addition to answering the sceptical challenge, the proposal offers an independently motivated account of what makes a concept normatively authoritative. (shrink)

A lineage of prominent philosophers who have discussed the second-person relation can be regarded as advancing structural accounts. They posit that the second-person relation effects one transformative change to the structure of practical reasoning. In this paper, I criticise this orthodoxy and offer an alternative, substantive account. That is, I argue that entering into second-personal relations with others does indeed affect one's practical reasoning, but it does this not by altering the structure of one's agential thought, but by changing what (...) reasons can become available. The importance of second-personal thought for action is heterogenous. Second-person relations make possible the emergence of a wide variety of different kinds of practical reasons: creating some, revealing others. Recognising this diminishes the appeal of the traditional, structural accounts of the practical significance of such second-personal relations. Moving away from structural accounts facilitates a more thorough understanding of the intersubjective form of action. (shrink)

This paper is about the similarity between the appreciation of a piece of art, such as a cherished music album, and the loving appreciation of a person whom one knows well. In philosophical discussion about the rationality of love, the Qualities View (QV) says that love can be justified by reference to the qualities of the beloved. I argue that the oft-rehearsed trading-up objection fails to undermine the QV. The problems typically identified by the objection arise from the idea that (...) love-worthy qualities could be coarse-grained, when in fact they must be fine-grained. The analogy with appreciation of aesthetic qualities helps to draw out this point. Once the fine-grained nature of love-worthy qualities is properly understood, it is clear that critics of the QV cannot rely on the trading-up objection to motivate its rejection. Moreover, the paper’s core argument helps to illuminate the persistently aesthetic nature of interpersonal affections. (shrink)

The Monad’s components are as follows: 1: Monism as the state of eternal undifferentiation 2: Dualism as the state of infinite differentiations -/- MONAD = ET = INF ET Ψ INF.

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

Why are natural theories pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. This approach was inspired by Martin's Conjecture, one of the most prominent conjectures in recursion theory. Fixing a reasonable subsystem $T$ of arithmetic, the goal was to classify the recursive functions that are monotone with respect to the Lindenbaum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^\alpha$ of the consistency operator ``in (...) the limit'' within the ultrafilter of sentences that are true in the standard model. In previous work the author established the first case of this optimistic conjecture; roughly, every recursive monotone function is either as weak as the identity operator in the limit or as strong as $\mathsf{Con}_T$ in the limit. Yet in this note we prove that this optimistic conjecture fails already at the next step; there are recursive monotone functions that are neither as weak as $\mathsf{Con}_T$ in the limit nor as strong as $\mathsf{Con}_T^2$ in the limit. In fact, for every $\alpha$, we produce a function that is cofinally equivalent to $\mathsf{Con}^\alpha_T$ yet cofinally equivalent to $\mathsf{Con}_T$. (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

This paper defends the usefulness of the concept of philosophical progress and the common assumption that philosophy and science aim to make the same, or a comparable, kind of progress. It does so by responding to Yafeng Shan's (2022) arguments that the wealth of research on scientific progress is not applicable or useful to philosophy, and that philosophy doesn't need a concept of progress at all. It is ultimately argued that while Shan's arguments are not successful, they reveal the way (...) forward in developing accounts of philosophical progress. (shrink)

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as the Riemann hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in computer power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure mathematics and (...) for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore become (among other things) an experimental science (though that has not diminished the importance of proof in the traditional style). We examine how the evaluation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Numerical evidence in mathematics is related to the problem of induction; the occurrence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical reasoning. (shrink)

A model of metaphysics associated with EJ Lowe and Tuomas Tahko sees metaphysics as involving a priori knowledge of possible essences, or at least modal facts, and delimiting the actual ‘ontological categories,’ the ultimate and essential divisions of what exists, based on the results of a posteriori scientific investigation. Their approach to metaphysics has been criticized by those who argue that such metaphysics is unsuitably a priori, disconnected with empirical research in natural science, and ends up failing to provide meaningful (...) constraints on metaphysical theorization. I present different epistemological and semantic worries about these accounts to motivate an alternative perspective on which metaphysics centers on form, rather than possibility. This scholastic perspective is shown to incorporate the skeptical insights as constitutive of its approach to existence, by way of the position that ‘being’ is not a genus. Rather, ‘being’ is a determinable. The scholastic approach can thus provide responses to the skeptics, since it denies that ontological categories – in the Lowe/Tahko sense – are what metaphysicians investigate and proposes a different view of ontological categories as classes of forms. (shrink)

This schedule, provided as a companion to my “Teaching Firefly” article, was used for a sophomore level philosophy course that was populated mostly by non-majors. The original idea for the course was to develop a popular culture philosophy course that would attract students from all over campus, which was meant to both introduce them to multiple philosophical ideas and theories and hopefully convince some of them to major or minor in philosophy. The course was quite successful at drawing Whedon fans (...) from across the university (after a certain amount of advertising through posters and social media). Students were very engaged with both discussions of episodes and the readings. (shrink)

We defend hylomorphism against Maegan Fairchild’s purported proof of its inconsistency. We provide a deduction of a contradiction from SH+, which is the combination of “simple hylomorphism” and an innocuous premise. We show that the deduction, reminiscent of Russell’s Paradox, is proof-theoretically valid in classical higher-order logic and invokes an impredicatively defined property. We provide a proof that SH+ is nevertheless consistent in a free higher-order logic. It is shown that the unrestricted comprehension principle of property abstraction on which the (...) purported proof of inconsistency relies is analogous to naïve unrestricted set-theoretic comprehension. We conclude that logic imposes a restriction on property comprehension, a restriction that is satisfied by the ramified theory of types. By extension, our observations constitute defenses of theories that are structurally similar to SH+, such as the theory of singular propositions, against similar purported disproofs. (shrink)

The purpose of this essay is to offer support for the substance view of persons, the philosophical anthropology defended by Patrick Lee in his essay. In order to accomplish this the author presents a brief definition of the substance view; argues that the substance view has more explanatory power in accounting for why we believe that human persons are intrinsically valuable even when they are not functioning as such, why human persons remain identical to themselves over time, and why it (...) follows from these points that the unborn are human persons; and responds to two arguments that attempt to establish the claim that the early human being is not a unified substance until at least fourteen days after conception. (shrink)

We report the results of a study that investigated the views of researchers working in seven scientific disciplines and in history and philosophy of science in regard to four hypothesized dimensions of scientific realism. Among other things, we found that natural scientists tended to express more strongly realist views than social scientists, that history and philosophy of science scholars tended to express more antirealist views than natural scientists, that van Fraassen’s characterization of scientific realism failed to cluster with more standard (...) characterizations, and that those who endorsed the pessimistic induction were no more or less likely to endorse antirealism. (shrink)

The free energy principle is notoriously difficult to understand. In this paper, we relate the principle to a framework that philosophers of biology are familiar with: Ruth Millikan’s teleosemantics. We argue that: systems that minimise free energy are systems with a proper function; and Karl Friston’s notion of implicit modelling can be understood in terms of Millikan’s notion of mapping relations. Our analysis reveals some surprising formal similarities between the two frameworks, and suggests interesting lines of future research. We hope (...) this will aid further philosophical evaluation of the free energy principle. (shrink)

The world provides us with an ocean of opportunities for fitting emotion. But we are beings with limited emotional resources, so missed opportunities are common. This chapter argues that these failures to take up fitting emotions are very frequently unfitting in their own right—so frequently, in fact, that most of us lead lives replete with unfitting absences of emotion. It begins by showing that, whenever an emotion can be unfitting in virtue of being too weak, the absence of that emotion (...) can also be unfitting, and for just the same reason. But emotional responses to a host of everyday objects—a funny joke, a nasty insult, and so on—can be unfittingly weak. This means that failures to respond emotionally to an enormous host of everyday objects are similarly unfitting. (shrink)

It is a plausible and compelling theoretical assumption that epistemic rationality is just a matter of having doxastic attitudes that are the correct responses to one’s epistemic reasons, or that all requirements of epistemic rationality reduce to requirements on doxastic attitudes. According to this idea, all instances of epistemic rationality are instances of rational belief. Call this assumption, and any theory working under it, _belief-centered_. In what follows, I argue that we should not accept belief-centered theories of epistemic rationality. This (...) is an argument in three acts. In the first, I present counterexamples that problematize the belief-centered assumption: cases whose protagonists (i) fail to meet any plausible requirements on belief but (ii) nevertheless appear epistemically rational. In the second act, I consider alternative explanations of the counterexamples, friendly to the belief-centered theorist, and find them wanting. In the third and final act, I show that there are significant theoretical benefits to acknowledging a distinct agent-centered dimension of epistemic rationality and sketch a candidate agent-centered approach: a view that grounds an agent’s epistemic rationality in the possession of _good epistemic policies_. In the end, we see that a complete theory of epistemic rationality is as much of a theory of rational _agents_ as it is of rational _belief_. (shrink)

Critical notice of Guy Fletcher's 'Dear Prudence: The Nature and Normativity of Prudential Discourse' and Dale Dorsey's 'A Theory of Prudence'.

After reconstructing three arguments for Nietzsche’s descriptive analysis of the self as complex, this article clarifies some of greatness’s psychological conditions. It then offers three arguments for why we should not focus on these internal conditions when seeking to verify or to achieve greatness. First, Nietzsche’s descriptive analysis of the self renders introspection too coarse-grained and error-prone to verify the subtle type of unity required for greatness. Second, Nietzsche associates introspective appraisal of one’s psyche with a moral project that weakens (...) and represses the drives, such that inquiry into whether greatness’s internal conditions are satisfied typically speaks against their realization. Finally, the actions characteristic of Nietzsche’s great individuals prohibit introspective preoccupation with oneself. These arguments suggest that we should attend to outwardly directed accomplishments, rather than psychology, when appraising the greatness of others and seeking to become great ourselves. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

This paper examines the general prospects for conceptual role expressivism, expressivist theories that embrace conceptual role semantics. It has two main aims. The first aim is to provide a general characterisation of the view. The second aim is to raise a challenge for the general view. The challenge is to explain why normative concepts are not a species of defective concepts, where defective concepts are those that cannot meaningfully embed and participate in genuine inference. After rejecting existing attempts to answer (...) the challenge, I propose an alternative solution. However, the solution leaves conceptual role expressivism a far less distinctive and interesting position than its proponents claim. I conclude that we should be sceptical about how much expressivists gain by appealing to conceptual role semantics. (shrink)

Xenophanes was a poet and rhapsode who lived in Greece during the late sixth and early fifth centuries BCE. Surviving fragments of his poetry touch on proper conduct at symposia, the measures of personal excellence, and aspects of his interactions with various notable individuals. Xenophanes also characterized various natural phenomena as products of a set of basic physical substances and processes. In a series of remarks concerning the stories about the gods told by Homer and Hesiod, the true nature of (...) the divine, and the tendency of believers to conceive of the gods as like themselves, Xenophanes explored questions central to the philosophy of religion. This essay addresses four questions: (1) Did Xenophanes espouse monotheism? (2) On what basis did he repudiate anthropomorphism in religion? (3) Why did he reject the possibility of knowledge concerning divine matters? and (4) How did he understand the relationship between god and the cosmos? (shrink)

Today’s ethics of privacy is largely dedicated to defending personal information from big data technologies. This essay goes in the other direction; it considers the struggle to be lost, and explores two strategies for living after privacy is gone. First, total exposure embraces privacy’s decline, and then contributes to the process with transparency. All personal information is shared without reservation. The resulting ethics is explored through a big data version of Robert Nozick’s Experience Machine thought experiment. Second, transient existence responds (...) to privacy’s loss by ceaselessly generating new personal identities, which translates into constantly producing temporarily unviolated private information. The ethics is explored through Gilles Deleuze’s metaphysics of difference applied in linguistic terms to the formation of the self. Comparing the exposure and transience alternatives leads to the conclusion that today’s big data reality splits the traditional ethical link between authenticity and freedom. Exposure provides authenticity, but negates human freedom. Transience provides freedom, but disdains authenticity. (shrink)

Experimental philosophy brings empirical methods to philosophy. These methods are used to probe how people think about philosophically interesting things such as knowledge, morality, and freedom. This paper explores the contribution that qualitative methods have to make in this enterprise. I argue that qualitative methods have the potential to make a much greater contribution than they have so far. Along the way, I acknowledge a few types of resistance that proponents of qualitative methods in experimental philosophy might encounter, and provide (...) reasons to think they are ill-founded. (shrink)

It is becoming increasingly common for authoritarian regimes to leverage digital technologies to surveil, repress and manipulate their citizens. Experts typically refer to this practice as “digital authoritarianism” (DA). Existing definitions of DA consistently presuppose a politically repressive agent intentionally exploiting digital technology in pursuit of authoritarian ends. I refer to this as the "intention-based definition." This paper argues that this definition is untenable as a general description of DA. I begin by illustrating the current predominance of the intention-based definition (...) (Section 1). Section 2 then presents four counterexamples to this definition: benign surveillance; digital sovereignty; attention-harvesting algorithms; and tech-induced loneliness. In each case, we witness authoritarianism being promoted by digital technologies without any evidence of this being intentionally caused by politically repressive agents. Based on these observations, I contend that the intention-based definition is underinclusive and therefore unsustainable. Section 3 then outlines an improved definition of DA – what I call the "promotion-based definition." Since this more expansive definition does not posit intentional, politically repressive agency as a precondition of DA, it can accommodate the counterexamples discussed in Section 2. Moreover, it enables us to catch a broader spectrum of cases of DA, such as tech-induced loneliness, which those adhering to the intention-based definition are prone to overlook. After outlining further practical benefits of the promotion-based definition, I argue that we still need to distinguish between intentional and unintentional forms of DA since they call for distinct types of remedial action. (shrink)

Many of us think human extinction would be a very bad thing, and that we have moral reasons to prevent it. But there is disagreement over what would make extinction so bad, and thus over what grounds these moral reasons. Recently, several theorists have argued that our reasons to prevent extinction stem not just from the value of the welfare of future lives, but also from certain additional values relating to the existence of humanity itself (for example, humanity's “final” value, (...) or the value of humanity in itself). In this paper, I argue against these “additional value” views. Despite their initial appeal, these views will inevitably face conflicts between the additional values to which they appeal, and the value of the welfare of future lives. And, I argue, the views cannot plausibly resolve these conflicts. In contrast, these conflicts do not arise for a rival view, on which our reasons to prevent extinction stem just from the value of the welfare of future lives. I conclude that this gives us reason to prefer the latter view, despite the greater initial plausibility of additional value views. (shrink)

In Republic VI, Plato’s Socrates attempts to explain the nature of human understanding by means of a simile of a line divided into four unequal segments. Socrates directs Glaucon to accept as names for the four states ‘rational knowledge’ for the highest, ‘understanding’ for the second, ‘belief’ for the third, and for the last, ‘perception of images.’ He then directs Glaucon to arrange the four states in a proportion, ‘considering that they participate in saphēneia in the same degree to which (...) their objects participate in reality.’ Although saphêneia here is usually translated as ‘clarity, ’I argue that neither ‘clarity’ nor ‘truth’ nor ‘knowledge’ provides an entirely satisfactory translation. Rather, in this context saphêneia is best understood as ‘a full, accurate, and sure awareness.’ Plato’s simile, properly understood, provides not only an explanation of his rationalist theory of knowledge but also a coherent line of argument in support of that theory. (shrink)